# Makefile for documentation

default :
	$(MAKE) -C .. html
	$(MAKE) -C ../../.. user-manual-test

# EOF
